Syntax and Semantics for Business Rules

نویسندگان

  • Xiaofan Liu
  • Natasha Alechina
  • Brian Logan
چکیده

Business processes are increasingly being expressed in declarative terms, as business rules which express obligations concerning conduct, action, practice or procedure regarding a particular business activity or sphere of operation. However, the leading standard for business rules, Semantics for Business Vocabulary and Business Rules (SBVR), leaves certain decisions concerning the precise syntax and semantics of business rules unspecified, for example, the scope and nesting of modalities and first order quantifiers, and the precise semantics of alethic and deontic modalities. In this paper, we propose a precise syntax and semantics for SBVR and present some complexity results for business rules with the proposed syntax and semantics.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages

Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...

متن کامل

Automating Business Context Categorization to Produce Semantic Interoperability: The Rules-based ebXML Approach

Arofan Gregory Commerce One Commerce One Labs, xCBL Division 19191 Vallco Parkway Cupertino, CA 95014 ABSTRACT Standardized business semantics allow business applications to share not only a specific, standard syntax, but also to communicate directly without a lot of costly analysis and integration. The ebXML activity has been writing such business rules in XML. We examine the concept of rules,...

متن کامل

SBVRwiki (Tool Presentation)

SBVR is a mature standard for capturing expressive business rules along with their semantics, and is especially useful in the communication with business people. SBVRwiki is a novel tool that allows for an e ective use of the SBVR notation. This online collaborative solution allows for distributed and incremental rule authoring for business analytics and users. It supports creation of vocabular...

متن کامل

Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

Business process models are required to be in line with frequently changing regulations, policies, and environments. In the field of intelligent modeling, organisations concern automated business process compliance checking as the manual verification is a timeconsuming and inefficient work. There exist two key issues for business process compliance checking. One is the definition of a business ...

متن کامل

Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey

One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010